Issue1698-data.agda:2,3-12
A data definition can only contain type signatures, possibly under
keyword instance
